Les tunnels dans les coulées de lave de Terceira (Açores)

Participation de l'Institut Razi dans la lutte contre les nouvelles Epizooties de la Peste Equine

Invariants de Vassiliev pour les entrelacs dans S³ et dans les variétés de dimension trois

et Uwe qui ont rendu ces ann ees de th ese tr es instructives et surtout tr es agr eables. Merci ennn a mes parents et a mon fr ere pour leur soutien important.

Les rongeurs de la region de Tehran

Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration

Résumé : Les tests de pénétration sont une méthodologie pour évaluer la sécurité d’un réseau en générant et exécutant de possibles attaques informatiques. Automatiser cette tâche permet de réaliser des tests réguliers et systématiques. Une question clef est : “Comment générer ces attaques ?” Ce problème se formule naturellement comme de la planification dans l’incertain, plus précisément avec u...

De l'oprateur de trace dans les jeux de Conway

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...